Tutorial de C++ Moderno: Eficiência e Expressividade em C++ Moderno

O C++ moderno (C++11/14/17) introduz Abstrações de Custo Zero que pontuam o abismo entre o controle de baixo nível do hardware e a legibilidade de alto nível. A eficiência é alcançada por meio da gestão determinística de memória, enquanto a expressividade é aprimorada por meio de lógica em tempo de compilação.

1. Estrutura de Memória: std::array vs. std::vector

std::array é um invólucro moderno para arrays de estilo C, alocado na pilha com um tamanho fixo conhecido em tempo de compilação. Em contraste, std::vector reside na heap e cresce dinamicamente. Enquanto std::vector usa um fator de crescimento geométrico (geralmente $1.5\times$ ou $2\times$), o C++ moderno oferece shrink_to_fit() para recuperar capacidade não utilizada, oferecendo um controle mais apertado do que linguagens gerenciadas como o Golang.

2. SFINAE e Segurança de Tipo

Por meio de std::enable_if e std::is_enum, os desenvolvedores podem implementar Falha na Substituição Não É Um Erro (SFINAE). Isso permite que o compilador escolha sobrecargas específicas de funções com base em características de tipo em tempo de compilação, como criar um operador de fluxo universal para enumerações usando seu std::underlying_type.

// Destaques da Gestão de Memória em C++11
v.push_back(std::move(obj)); // Semântica de movimentação
arr.at(0); // Verificação de limite

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which container is allocated on the stack and has a fixed size defined at compile-time?

std::vector

std::array

std::list

std::deque

QUESTION 2

What is the primary purpose of the shrink_to_fit() member function?

To delete all elements in the container.

To request a reduction in capacity to match the current size.

To sort the elements and remove duplicates.

To move the container to the stack.

QUESTION 3

In the SFINAE example, what does std::underlying_type provide?

The memory address of the enum.

The integral type used to represent the enum.

A string representation of the enum name.

The number of elements in the enum.

QUESTION 4

How does C++ std::vector growth typically differ from Golang slice growth in high-load scenarios?

C++ vectors never grow; they must be pre-allocated.

Golang uses a fixed growth of 10 elements, while C++ is random.

C++ provides explicit control (shrink_to_fit) to manage memory-tight environments.

Golang slices are stored on the stack by default.

QUESTION 5

Which C++11 feature allows a vector to take ownership of a temporary object without copying?

std::enable_if

push_back(T&&) with Rvalue-overload

std::array static size

The 'mutable' keyword